Differential Meadows
نویسندگان
چکیده
A meadow is a zero totalised field (0 = 0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equipped with differentiation operators. We give an equational axiomatization of these operators and thus obtain a finite basis for differential cancellation meadows. Using the Zariski topology we prove the existence of a differential cancellation meadow.
منابع مشابه
Classification of mesic grasslands and their transitions of South Transdanubia (Hungary)
Relevés from meadows and pastures of South Transdanubia (Hungary) are evaluated by clustering and ordination methods. The relevé selection focused on the Arrhenatheretalia order but its transitions towards other types were also included. The groups of relevés are delimited and described according to differential, dominant and constant species. Ecological conditions of the groups were compared u...
متن کاملExtensive contemporary pollen-mediated gene flow in two herb species, Ranunculus bulbosus and Trifolium montanum, along an altitudinal gradient in a meadow landscape.
BACKGROUND AND AIMS Genetic connectivity between plant populations allows for exchange and dispersal of adaptive genes, which can facilitate plant population persistence particularly in rapidly changing environments. METHODS Patterns of historic gene flow, flowering phenology and contemporary pollen flow were investigated in two common herbs, Ranunculus bulbosus and Trifolium montanum, along ...
متن کاملInversive meadows and divisive meadows
An inversive meadow is a commutative ring with identity and a total multiplicative inverse operation satisfying 0 = 0. Previously, inversive meadows were shortly called meadows. In this paper, we introduce divisive meadows, which are inversive meadows with the multiplicative inverse operation replaced by a division operation. We introduce a translation from the terms over the signature of divis...
متن کاملArithmetical meadows
An inversive meadow is a commutative ring with identity equipped with a total multiplicative inverse operation satisfying 0 −1 = 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and ...
متن کاملTransformation of fractions into simple fractions in divisive meadows
Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0804.3336 شماره
صفحات -
تاریخ انتشار 2008